Perhaps the biggest challenge a developer faces is understanding the problems that a software system needs to solve. Domain modeling is a technique for creating a conceptual map of a problem space such as a business system or a scientific application, so that the developer can write the software more efficiently. The domain model doesn't present a solution to the problem, but i...(展开全部)

Manning's bestselling Java 8 book has been revised for Java 9! In Java 8 and 9 in Action, you'll build on your existing Java language skills with the newest features and techniques. After a practical introduction to lambdas using real-world Java code, you'll dive into the Streams API. Next, you'll discover event-driven reactive programming and see how the Java Module System (ak...(展开全部)

Manning's bestselling Java 8 book has been revised for Java 9! In Java 8 and 9 in Action, you'll build on your existing Java language skills with the newest features and techniques. After a practical introduction to lambdas using real-world Java code, you'll dive into the Streams API. Next, you'll discover event-driven reactive programming and see how the Java Module System (ak...(展开全部)

From the reviews: T.R. Bielecki and M. Rutkowski Credit Risk Modeling, Valuation and Hedging "A fairly complete overview of the most important recent developments of credit risk modelling from the viewpoint of mathematical finance ... It provides an excellent treatment of mathematical aspects of credit risk and will also be useful as a reference for technical details to traders...(展开全部)

Written by the founder and CEO of the world-renowned New York School of Finance, Financial Modeling and Valuation provides clear and systematic guidance on accurately evaluating the soundness of a stock investment. This invaluable handbook equips investors with the tools necessary for understanding the underlying fundamentals of a rational investment and for making smarter inve...(展开全部)

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.

Credit risk is today one of the most intensely studied topics in quantitative finance. This book provides an introduction and overview for readers who seek an up-to-date reference to the central problems of the field and to the tools currently used to analyze them. The book is aimed at researchers and students in finance, at quantitative analysts in banks and other financial in...(展开全部)